Thinking on the Fly: Test-Time Reasoning Enhancement via Latent Thought Policy Optimization
arxiv.org·5h
💻Local LLMs
Online activities 6 – 12 October
ests.wordpress.com·35m
🏗️Constructive Mathematics
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·17h·
Discuss: Hacker News
💻Local LLMs
Cactus Language • Semantics 1
inquiryintoinquiry.com·17h
🔢Denotational Semantics
Prompting Techniques for Specialised LLMs
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·2h
🧮Kolmogorov Complexity
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·5h
🔗Parser Combinators
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Causal Abstractions, Categorically Unified
arxiv.org·5h
✨Effect Handlers
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5h
💻Programming languages
How to Perform Effective Agentic Context Engineering
towardsdatascience.com·2h
⚙️Proof Engineering
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·5h
🧠Intelligence Compression
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·5h
⚙️TLA+
Deterministic AI: Why Reliability, Not Creativity, Is the Future of LLMs
davletd.medium.com·13h·
Discuss: Hacker News
⚙️TLA+
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·5h
✓Automated Theorem Proving
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
📏Code Metrics
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·5h
👑Coq Tactics
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·5h
⚡Incremental Computation